Rules for integrands of the form(((c+d x))^m) (((a+b Sinh[e+f x]))^n)

N:  ∫(u^m)(((a+b Sinh[v]))^n)dx  when  u==c+d x ∧ v==e+f x

Derivation: Algebraic normalization

Rule: If  u==c+d x ∧ v==e+f x, then

∫(u^m)(((a+b Sinh[v]))^n)dx  ⟶  ∫(((c+d x))^m) (((a+b Sinh[e+f x]))^n)dx

Program code:

Int[u_^m_.*(a_.+b_.*Sinh[v_])^n_.,x_Symbol] :=
  Int[ExpandToSum[u,x]^m*(a+b*Sinh[ExpandToSum[v,x]])^n,x] /;
FreeQ[{a,b,m,n},x] && LinearQ[{u,v},x] && Not[LinearMatchQ[{u,v},x]]

Int[u_^m_.*(a_.+b_.*Cosh[v_])^n_.,x_Symbol] :=
  Int[ExpandToSum[u,x]^m*(a+b*Cosh[ExpandToSum[v,x]])^n,x] /;
FreeQ[{a,b,m,n},x] && LinearQ[{u,v},x] && Not[LinearMatchQ[{u,v},x]]